Nuprl Definition : first-event
11,40
postcript
pdf
first-event{i:l}(
es
;
e
) == (TERMOF{
the-first-event
:ObjectId, 1:l, i:l}(
es
,
e
)).1
latex
clarification:
first-event{i:l}(
es
;
e
) == (TERMOF{
the-first-event
:ObjectId, 1:l, i:l}(
es
,
e
)).1
latex
Definitions
t
.1
,
f
(
a
)
,
the-first-event
FDL editor aliases
first-event
origin